Cho X là một không gian chuẩn tắc, lấy F là một tập đóng trong X.Cho f : F ⟶ R {\displaystyle f\,:F\longrightarrow R} liên tục, khi đó có một ánh xạ liên tục g : X ⟶ R {\displaystyle g\,:X\longrightarrow R} sao cho g / F = f {\displaystyle g/_{F}=f} .

Vì vậy trong một không gian định chuẩn, một hàm thực trên một không gian con đóng có thể được mở rộng thành một hàm thực liên tục trên toàn bộ không gian đó.

Nếu X là chuẩn tắc, F là tập đóng, U mở và F ⊂ U {\displaystyle F\subset U} , khi đó tồn tại một ánh xạ liên tục f : X ⟶ [ 0 , 1 ] {\displaystyle f\,:X\longrightarrow [0,1]} , sao cho: f ( x ) = 0 {\displaystyle f(x)=0} trên F và f ( x ) = 1 {\displaystyle f(x)=1} trên X\U.

Tương tự lấy A, B là hai tập con đóng rời nhau của X, khi đó có một ánh xạ liên tục f từ X vào [0,1], sao cho f ( x ) = 0 {\displaystyle f(x)=0} trên A và f ( x ) = 1 {\displaystyle f(x)=1} trên B.

Chứng minh

Vì X là chuẩn tắc, nếu F đóng, U mở và F ⊂ U {\displaystyle F\subset U} khi đó có một tập mở V sao cho F ⊂ V ⊂ V ¯ ⊂ U {\displaystyle F\subset V\subset {\overline {V}}\subset U}

• Chúng ta xây dựng một họ các tập mở theo cách dưới đây:

U 1 = U {\displaystyle U_{1}=U}

n = 0 : F ⊂ U 0 ⊂ U 0 ¯ ⊂ U 1 {\displaystyle n=0:\,F\subset U_{0}\subset {\overline {U_{0}}}\subset U_{1}}

n = 1 : U 0 ¯ ⊂ U 1 2 ⊂ U 1 2 ¯ ⊂ U 1 {\displaystyle n=1:\,{\overline {U_{0}}}\subset U_{\frac {1}{2}}\subset {\overline {U_{\frac {1}{2}}}}\subset U_{1}}

n = 2 : U 0 ¯ ⊂ U 1 4 ⊂ U 1 4 ¯ ⊂ U 2 4 = U 1 2 ⊂ U 2 4 ¯ ⊂ U 3 4 ⊂ U 3 4 ¯ ⊂ U 4 4 = U 1 {\displaystyle n=2:\,{\overline {U_{0}}}\subset U_{\frac {1}{4}}\subset {\overline {U_{\frac {1}{4}}}}\subset U_{\frac {2}{4}}=U_{\frac {1}{2}}\subset {\overline {U_{\frac {2}{4}}}}\subset U_{\frac {3}{4}}\subset {\overline {U_{\frac {3}{4}}}}\subset U_{\frac {4}{4}}=U_{1}}

Quy nạp chúng ta có họ các tập mở sau:

F ⊂ U 0 ⊂ U 0 ¯ ⊂ U 1 2 n ⊂ U ¯ 1 2 n ⊂ . . . ⊂ U 2 n − 1 2 n ⊂ U 2 n − 1 2 n ¯ ⊂ U 2 n 2 n = U 1 {\displaystyle F\subset U_{0}\subset {\overline {U_{0}}}\subset U_{\frac {1}{2^{n}}}\subset {\overline {U}}_{\frac {1}{2^{n}}}\subset ...\subset U_{\frac {2^{n}-1}{2^{n}}}\subset {\overline {U_{\frac {2^{n}-1}{2^{n}}}}}\subset U_{\frac {2^{n}}{2^{n}}}=U_{1}}

Lấy I = { m 2 n / m , n ∈ N ; 0 ≤ m ≤ 2 n } {\displaystyle I=\left\{{\frac {m}{2^{n}}}/m,n\in N;0\leq m\leq 2^{n}\right\}} . Chúng ta có họ các tập mở { U r / r ∈ I } {\displaystyle \{U_{r}/r\in I\}} có tính chất r < s ⟹ U r ¯ ⊂ U s {\displaystyle r<s\,\Longrightarrow {\overline {U_{r}}}\subset U_{s}} .

• Chúng ta có thể kiểm tra rằng I trù mật trong [0,1]
• Xác định: f : X ⟶ [ 0 , 1 ] {\displaystyle f\,:X\longrightarrow [0,1]}

chúng ta chứng minh rằng f liên tục.Chỉ cần chứng minh rằng các tập có dạng { x / f ( x ) < a } {\displaystyle \{x/f(x)<a\}} và { x / f ( x ) > a } {\displaystyle \{x/f(x)>a\}} là tập mở.

• Nếu a ≤ 1 {\displaystyle a\leq 1} khi đó f ( x ) < a {\displaystyle f(x)<a} nếu và chỉ nếu có r ∈ I {\displaystyle r\in I} sao cho r < a {\displaystyle r<a} và x ∈ U r {\displaystyle x\in U_{r}} . Do đó { x / f ( x ) < a } = { x ∈ U r / r < a } = ∪ r < b U r {\displaystyle \{x/f(x)<a\}=\{x\in U_{r}/r<a\}=\cup {}_{r<b}U_{r}} là mở
• Nếu a < 1 {\displaystyle a<1} khi đó f ( x ) > a {\displaystyle f(x)>a} nếu và chỉ nếu có r ∈ I {\displaystyle r\in I} sao cho r > a {\displaystyle r>a} và x ∉ U r {\displaystyle x\notin U_{r}} . Do đó { x / f ( x ) > a } = { x ∈ U r / r > a } = ∪ r > a X ∖ U r {\displaystyle \{x/f(x)>a\}=\{x\in U_{r}/r>a\}=\cup {}_{r>a}X\setminus U_{r}}

Bây giờ chúng ta chứng minh rằng ∪ r > a X ∖ U r = ∪ r > a X ∖ U r ¯ {\displaystyle \cup {}_{r>a}X\setminus U_{r}=\cup {}_{r>a}X\setminus {\overline {U_{r}}}} , từ đó suy ra ∪ r > a X ∖ U r {\displaystyle \cup {}_{r>a}X\setminus U_{r}} là mở.Thực vậy, nếu r ∈ I {\displaystyle r\in I} và r > a {\displaystyle r>a} thì có một s ∈ I {\displaystyle s\in I} , sao cho r > s > a {\displaystyle r>s>a} . Khi đó U s ¯ ⊂ U r {\displaystyle {\overline {U_{s}}}\subset U_{r}} nên X ∖ U r ⊂ X ∖ U s ¯ {\displaystyle X\setminus U_{r}\subset X\setminus {\overline {U_{s}}}}

Ví dụ

Dễ dàng hơn để chứng minh bổ đề Urysohn trong không gian mê tríc, với hàm sau:

f ( x ) = d ( x , A ) d ( x , A ) + d ( x , B ) {\displaystyle f(x)={\frac {d(x,A)}{d(x,A)+d(x,B)}}}

Ý nghĩa

Trong một không gian chuẩn tắc thì hai tập con đóng rời nhau có thể được tách bởi một ánh xạ liên tục.